﻿using System;
using System.Collections.Generic;
using System.ComponentModel;
using System.Data;
using System.Drawing;
using System.Text;
using System.Windows.Forms;

namespace mi2project
{
    public partial class SzabálySzerkesztő : Form
    {
        public CheckBox[] szabályok;
        public CheckBox[] tények;
        public CheckBox[] célok;
        public CheckBox[] konst;

        public SzabálySzerkesztő(List<Konzol.Formula_> Tények, List<Konzol.Formula_> Szabályok, List<Konzol.Formula_> Célok, List<Konzol.Formula_> Konst)
        {
            InitializeComponent();                                  
            tények = new CheckBox[Tények.Count];
            Label label1 = new Label();
            label1.Text = "Tények:";
            label1.Location = new Point(0, 10);
            splitContainer1.Panel1.Controls.Add(label1);            
            for (int i = 0; i < tények.Length; ++i)
            {
                tények[i] = new CheckBox();
                tények[i].Location = new Point(20, (i + 1) * 20 + 12);
                tények[i].Text = @Tények[i].Formula;                
                tények[i].Checked = Tények[i].Használva;
                tények[i].UseMnemonic = false;
                tények[i].AutoSize=true;
                splitContainer1.Panel1.Controls.Add(tények[i]);                          
            }

            szabályok = new CheckBox[Szabályok.Count];
            Label label2 = new Label();
            label2.Text = "Szabályok:";
            label2.Location = new Point(0, tények.Length * 20 + 35);
            splitContainer1.Panel1.Controls.Add(label2);
            for (int i = 0; i < szabályok.Length; ++i)
            {
                szabályok[i] = new CheckBox();
                szabályok[i].Location = new Point(20, (Tények.Count + i + 2) * 20 + 20);
                szabályok[i].Text = @Szabályok[i].Formula;                
                szabályok[i].Checked = Szabályok[i].Használva;
                szabályok[i].UseMnemonic = false;
                szabályok[i].AutoSize = true;
                splitContainer1.Panel1.Controls.Add(szabályok[i]);
            }

            célok = new CheckBox[Célok.Count];
            Label label3 = new Label();
            label3.Text = "Célok:";
            label3.Location = new Point(0, (tények.Length + szabályok.Length) * 20 + 60);
            splitContainer1.Panel1.Controls.Add(label3);
            for (int i = 0; i < célok.Length; ++i)
            {
                célok[i] = new CheckBox();
                célok[i].Location = new Point(20, (Tények.Count + Szabályok.Count + i + 4) * 20 + 2);
                célok[i].Text = @Célok[i].Formula;                
                célok[i].Checked = Célok[i].Használva;
                célok[i].UseMnemonic = false;
                célok[i].AutoSize = true;
                splitContainer1.Panel1.Controls.Add(célok[i]);
            }
            Label label4 = new Label();
            label4.Text = "Konstansok:";
            label4.Location = new Point(0, (tények.Length + szabályok.Length + célok.Length) * 20 + 85);
            splitContainer1.Panel1.Controls.Add(label4);
            konst = new CheckBox[Konst.Count];
            for (int i = 0; i < konst.Length; ++i)
            {
                konst[i] = new CheckBox();
                konst[i].Location = new Point(20, (Tények.Count + Szabályok.Count + Célok.Count + i + 5) * 20 + 7);
                konst[i].Text = @Konst[i].Formula;
                konst[i].Checked = Konst[i].Használva;
                konst[i].UseMnemonic = false;
                konst[i].AutoSize = true;
                splitContainer1.Panel1.Controls.Add(konst[i]);
            }
        }
    }
}